1. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
2. Coherent systems
پدیدآورنده : / Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
3. Conditionals nonmonotonic reasoning and belief revision : considering conditionals as agents
پدیدآورنده : Kern-Isberner, Gabriele, 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Nonmonotonic reasoning,، Conditionals )Logic(
رده :
QA
76
.
L28
Vol
.
2087
4. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
5. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
6. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop
پدیدآورنده : edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
63
.
I5
1991
7. Logic programming and nonmonotonic reasoning
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ; Nonmonotonic reasoning ; Congresses. ;
8. Logic programming and nonmonotonic reasoning :
پدیدآورنده : James P. Delgrande, Wolfgang Faber (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2011
9. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
10. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
1999
11. Logic programming and nonmonotonic reasoning
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic programming congresses,Nonmonotonic reasoning congresses
رده :
QA
,
76
.
63
,.
L74
12. Logic programming and nonmonotonic reasoning
پدیدآورنده : Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
2009eb
13. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
14. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
15. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
16. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
17. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
18. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
19. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
20. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
